In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos.
Essencialmente, o axioma diz que se um conjunto A existe, e conseguimos descrever (através de uma propriedade) elementos deste conjunto, então existe um conjunto B, subconjunto de A, que contém estes elementos.
Este "axioma" é, a rigor, um esquema de axiomas, porque, para cada propriedade Φ, existe um "axioma da separação".